منابع مشابه
Gödel Homomorphisms as Gödel Modal Operators
We extend propositional Gödel logic by a unary modal operator, which we interpret as 5 Gödel homomorphisms, i.e. functions [0, 1] → [0, 1] that distribute over the interpretations of the 6 binary connectives of Gödel logic. We show that validity in the propositional fragment has a simple 7 superintuitionistic Hilbert-type proof system, which is not structurally complete, and that validity 8 doe...
متن کاملGödel and Computability 1
We discuss the influence of Gödel and his results on the surfacing of the rigorous notion of computability afforded by Turing. We also address the debate about the limits of Artificial Intelligence spurned by Roger Penrose, on the basis of Gödel's theorems, and the views of Gödel himself. We conclude by touching upon the use of logic as a tool with which to approach the description of mind.
متن کاملGödel and Set Theory
Kurt Gödel (1906–1978) with his work on the constructible universe L established the relative consistency of the Axiom of Choice (AC) and the Continuum Hypothesis (CH). More broadly, he ensured the ascendancy of first-order logic as the framework and a matter of method for set theory and secured the cumulative hierarchy view of the universe of sets. Gödel thereby transformed set theory and laun...
متن کاملKant, Gödel and Relativity 1
Since the onset of logical positivism, the general wisdom of the philosophy of science has it that the kantian philosophy of (space and) time has been superseded by the theory of relativity, in the same sense in which the latter has replaced Newton’s theory of absolute space and time. On the wake of Cassirer and Gödel, in this paper I raise doubts on this commonplace. I first suggest some condi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Bulletin of Symbolic Logic
سال: 2016
ISSN: 1079-8986,1943-5894
DOI: 10.1017/bsl.2016.35